TSTP Solution File: SYN049^5 by SETHEO---3.3